covariant system

共变式系